Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030)
by Ernst-Rüdiger Olderog,Bernhard Steffen,Wang Yi
ISBN 13: 9783030913830
Format: Paperback (227 pages) Publisher: Springer Published: 22 Nov 2021
Save for later